- négation de produit logique
- сущ.
выч. НЕ И, отрицание конъюнкции, отрицание логического произведения
Французско-русский универсальный словарь. 2013.
négation de produit logique
Смотреть что такое "négation de produit logique" в других словарях:
Negation (linguistique) — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… … Wikipédia en Français
Négation linguistique — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… … Wikipédia en Français
Négation (linguistique) — Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose à l’affirmation. Bien… … Wikipédia en Français
LOGIQUE INDIENNE — Les questions de raisonnement logique occupent une place aussi importante dans la philosophie indienne, d’un bout à l’autre de son histoire, que dans la tradition occidentale. Ce n’est que dans les années 1930 que la plupart des Occidentaux ont… … Encyclopédie Universelle
Logique Linéaire — La logique linéaire (LL), inventée par le logicien Jean Yves Girard en 1986, est un produit de la théorie de la démonstration moderne. Elle résulte d une analyse du comportement des preuves des logiques classique et intuitionniste au travers de… … Wikipédia en Français
Logique lineaire — Logique linéaire La logique linéaire (LL), inventée par le logicien Jean Yves Girard en 1986, est un produit de la théorie de la démonstration moderne. Elle résulte d une analyse du comportement des preuves des logiques classique et… … Wikipédia en Français
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
Logique (mathématiques) — Logique mathématique La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et… … Wikipédia en Français
Logique Mathématique — La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et Hilbert de donner une … Wikipédia en Français
Logique mathematique — Logique mathématique La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et… … Wikipédia en Français
Logique et théorie de la connaissance — Sur cette idée du signe ou symbole, Occam construit toute sa théorie de la connaissance et toute la logique. La logique est une science purement pratique, non pas au sens de la morale qui dit ce qu’il faut vouloir, mais au sens de la… … Philosophie du Moyen Age
